Definition
Let X be a non-empty subset of
, and let
be a binary relation on X, with
its asymmetric part. We shall say that
is:
- Non-saturating if and only if given any
, there exists a
such that /equation005.png)
- Locally non-saturating if and only if given any
and
, there exists
such that /equation009.png)